Nuprl Lemma : prime_ideals_in_int_ring
13,42
postcript
pdf
i
:
.
-rng-Prime(
i
)
prime(
i
)
latex
Up
rings
1
origin
i:
. 
-rng-Prime(i) 
prime(i) i:. -rng-Prime(i) prime(i)